reflexive relation on set